Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
481	A Unified Proof System for QBF Preprocessing? Marijn J.H. Heule1 , Martina Seidl2 , and Armin Biere2 1 Department of Computer Science, The University of Texas at Austin, USA [removed] Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:57:45 Automated theorem proving Boolean algebra Mathematical logic Resolution True quantified Boolean formula Conjunctive normal form Limit Literal Model theory Mathematics Logic Theoretical computer science
482	Using a satisfiability solver to identify deterministic finite state automata Marijn J.H. Heule Sicco Verwer Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-08-19 05:30:10 NP-complete problems Complexity classes Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Graph coloring SL NP-complete Theoretical computer science Mathematics Computational complexity theory
483	Towards Ultra Rapid Restarts! Shai Haim1 and Marijn Heule 2 1 University of New South Wales and NICTA, Sydney, Australia 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-02-20 08:31:36 Operations research Constraint programming Boolean algebra Logic in computer science Mathematical optimization Boolean satisfiability problem GRASP Solver Sol Theoretical computer science Applied mathematics Mathematics
484	Microsoft Word - TruthTablesTranscript .doc Add to Reading List Source URL: mariannetalbotdotcom.files.wordpress.com Language: English - Date: 2014-08-27 04:42:14 Veracity Boolean algebra Semantics Logical connective Truth Sentence If and only if Interpretation Propositional formula Logic Mathematical logic Propositional calculus
485	1 2 SDMX Technical Working Group VTL Task Force Add to Reading List Source URL: sdmx.org Language: English - Date: 2015-03-03 17:49:48 Boolean algebra Logical connectives Mathematical notation SDMX Operator Algebra Relational operator Boolean data type Operand Software engineering Computing Computer programming
486	A Truth-Conditional Account of Free-Choice Disjunction Graeme Forbes 1. Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2014-04-02 18:50:11 Propositional calculus Mathematical logic Logical connectives Semantics Grammar Negation Logical disjunction Boolean algebra Logic Abstract algebra
487	Microsoft Word - TestingSyntacticTranscript.doc Add to Reading List Source URL: mariannetalbotdotcom.files.wordpress.com Language: English - Date: 2014-08-27 04:42:12 Boolean algebra Propositional calculus Proof theory Sequent Counterexample Negation Method of analytic tableaux Logic Mathematical logic Mathematics
488	L:/Documents and Settings/Administrator/My Documents/Reseach/Gecco 2008 Abstract/t07pap188-qasem.dvi Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 14:52:22 Logic in computer science Constraint programming Operations research Boolean algebra Boolean satisfiability problem Electronic design automation Maximum satisfiability problem Local search Stochastic optimization Theoretical computer science Applied mathematics Mathematics
489	Bit-Precise Reasoning with Affine Functions Neil Kettle and Andy King∗ Portcullis Computer Security Limited, Pinner, HA5 2EX, UK Abstract The class of affine Boolean functions is rich enough to express constant bits an Add to Reading List Source URL: www.digit-labs.org Language: English - Date: 2008-06-09 08:21:20 Affine geometry Linear algebra Binary decision diagram Diagrams Model checking Artificial neuron Affine transformation Vector space Algebra Mathematics Boolean algebra
490	Владикавказский математический журнал 2012, Том 14, Выпуск 1, С. 67–[removed][removed]KANTOROVICH’S PRINCIPLE IN ACTION: AW ∗ -MODULES AND INJECTIVE BANACH LATTICES Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-06-15 07:21:47 Operator theory Algebraic structures Linear algebra Mathematical structures Banach algebra Banach space Vector space Functional analysis Boolean algebra Algebra Mathematics Abstract algebra

UPDATE